The Essence of Yuanwukeqin's Teachings

The Teachings of Failure

My first duty is to thank you sincerely for the honour which you have done me in calling me to the presidential chair of this Society. If I do not proceed to enlarge upon my unfitness for a position of such responsibility, it is not that I am not conscious of it; but you are already too familiar with the expression of the sense of self-distrust which appears to be inseparable from the assumptio...

The Secret Teachings of All Ages

Ancient teachings, modern lessons.

The Essence of JavaScript

We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security pr...

The Essence of Multitasking

This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the...